signature MAIN =
sig
    val main: string -> unit
end
